One of the main tools for recording auroras is the optical observation of the sky in automatic mode using all-sky cameras. The results of observations are recorded in special mnemonic tables, ascaplots. Ascaplots provide daily information on the presence or absence of cloud cover and auroras in various parts of the sky and are traditionally used to study the daily distribution of auroras in a given spatial region, as well as to calculate the probability of their observation in other regions in accordance with the level of geomagnetic activity. At the same time, the processing of ascaplots is currently carried out manually, which is associated with significant time costs and a high proportion of errors due to the human factor. To increase the efficiency of ascaplot processing, we propose an approach that automates the recognition and digitization of data from optical observations of auroras. A formalization of the ascaplot structure is proposed, which is used to process the ascaplot image, extract the corresponding observation results, and form the resulting data set. The approach involves the use of machine vision algorithms and the use of a specialized mask - a debug image for digitization, which is a color image in which the general position of the ascaplot cells is specified. The proposed approach and the corresponding algorithms are implemented in the form of software that provides recognition and digitization of archival data from optical observations of auroras. The solution is a single-user desktop software that allows the user to convert ascaplot images into tables in batch mode, available for further processing and analysis. The results of the computational experiments have shown that the use of the proposed software will make it possible to avoid errors in the digitization of ascaplots, on the one hand, and significantly increase the speed of the corresponding computational operations, on the other. Taken together, this will improve the efficiency of processing ascaplots and conducting research in the relevant area.
A model multimodal sensory environment «INFANT.MAVS», comprising two base stimuli of different perceptual complexity - simple (visual, audible, tactile and graphic) and base of complex stimuli synthesized on the basis of a combination of simple, is elaborated. The software includes a management component model created database and the database itself. Management component is created with Microsoft Visual Basic v.6.0 and is designed to run on operating systems of MS Windows.
An approach to the formation of complete and reliable primary health information. The analysis of annual data on the nation's ill health. Pointed to the lack of other sources of information for the calculation of medical errors. As a method of access to primary health care documents are invited to specialized information retrieval system implemented on immunocomputing. System is full, reliable and affordable basic health information, as well as related software are considered as the basis of a common information space of public health. A fundamental feature of this software is the use of open source and free license.
In educational, scientific, and organizational activities in high school and research institutes we now must actively use free and open source software. It is well suited for organization and maintenance of traditional and distant learning, as well as for design of methodical support and software needed for activities of students, post-graduates, tutors and scientific researchers. Exactly this type of software should become principal in our country.
The article presents a formal model of the functioning of the process in the operating system, created on the basis of a subject-object approach to the separation of the main elements of the operating system. A feature of the presented model is a high-level abstraction of the interaction between the operating system processes and resources, which allows applying the obtained results to a wide range of similar systems. The use of this model is necessary for carrying out the transition from the real world object (process) to a formal model to take into account the significant properties of the behavior of the process both during the static analysis phase of a binary executable file and the dynamic phase of monitoring its implementation. The system of safe execution of code is an extension of the composition of such approaches to the detection of malicious software as the application of the formal verification method «Model checking» and the use of machine safety to monitor the implementation of the studied program. This system allows using in corporate information and computer networks only such software, reliability of which is confirmed by a formal mathematical proof and continuous monitoring of its execution.
In the paper, we consider a task of uniting graphs with a common part. The graphs were received as the result of series of simulations of a Petri net using a program package Colored Petri Nets Tools, where a process address space is restricted by 232 bytes starting from different vertices and with different initial conditions. To solve this task, it is necessary to determine the graphs common part, to perform graphs cutting in such a way that their common part remains in only one of the initial graphs, and compose a table of accordance (transitions) between the graphs vertices for making transitions between them. Firstly, we assume that the graphs are represented in the form of adjacency lists. During algorithm’s work they are converted into hash tables for fast determination of the common part of the graphs that is implemented with the help of traversing one of the graphs and testing for the presence of nodes in the second graph. A transition table is created with the help of graph traversal by “parents-child” vertex pairs, during which it is checked whether one of the nodes of a pair can be added to the table. The algorithm for solving the problem of uniting the parts of a di-rected graph is offered, and an example of its use is given.
The rapid development of information technology in recent decades has led to a substantial increase in the amount of the source code of software, as well as its complexity. This fact points to the high complexity of the software analysis, carried out with the aim of understanding the logic of its functioning. Implementation of this analysis is important when conducting computer forensics The article deals with an approach to automate the identification of standardized algorithms for data conversion in executable software modules in the absence of source code by taking into account their internal data connections in order to facilitate understanding of the programs.
Normal
0
false
false
false
RU
X-NONE
X-NONE
/* Style Definitions */
table.MsoNormalTable
{mso-style-name:"Обычная таблица";
mso-tstyle-rowband-size:0;
mso-tstyle-colband-size:0;
mso-style-noshow:yes;
mso-style-priority:99;
mso-style-parent:"";
mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
mso-para-margin:0cm;
mso-para-margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:10.0pt;
font-family:"Times New Roman","serif";}
Widespread adoption of CASE- means, the reused code’s bases and libraries along with service-oriented architecture in the process of applied software design and development requires the qualitatively new system of results estimation and diagnostics of the projects’ state of the software and program-technical systems developing. A reasonable estimate of results in design and developments is possible only with the use of the matching indices’ nets. The given paper considers principle possibilities and specific character of such nets’ synthesis.
Adequate software and organizational means are required to support activities of collectives that work in the area of information technologies. For different types and directions of companies (institutions) corresponding instrumental means are needed, but almost always office packages, local, distributed or external, document control systems, clients interaction systems, and many more systems are used. The authors suggest to widely use free and open source software for this purpose.
Software design based on Free/Libre and Open Source Software (FLOSS) is very important contemporary theme. On the first side, the amount of instrumental and organizational software is rather wide and is available on all software-hardware platforms, on the other side there are significant juridical and methodological difficulties and uncertainties in practical application of such software in Russia. Here we study both FLOSS and commercial economically efficient design models.
1 - 11 of 11 items